| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1018-1022 |
A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 996-1000 |
A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 642-646 |
A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1462-1467 |
The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4768-4779 |
The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0.0 and the real number) |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2321-2326 |
A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1007-1011 |
An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30178-30188 |
An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12466-12473 |
A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26329-26340 |
A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7524-7530 |
A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500.0 is less than the real number if and only if the self connected object is an instance of droplet |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7440-7451 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7469-7479 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1789-1793 |
An entity is an instance of window scrolling and the entity is an instance of user signified graphical action if and only if the entity is an instance of window scrolling by user |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1818-1828 |
A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2680-2690 |
An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 357-390 |
A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 82-97 |
A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 118-133 |
A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 238-264 |
A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 403-436 |
A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 310-342 |
A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 156-187 |
A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 52-64 |
A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24790-24795 |
A postal place is located at a postcode area and the postal place is an instance of postal place and the postcode area is an instance of postcode area if and only if the postal place is in post code the postcode area |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
<=>